National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
Weighted Clones
Gaysin, Azza ; Barto, Libor (advisor) ; Příhoda, Pavel (referee)
Weighted clones Azza Gaysin January 3, 2018 Abstract In this thesis we fully describe the structure of all binary parts of weighted clones over the Boolean clones generated by one of the semilattice operations and one or two of the constant operations. We also give a complete description of all atomic and maximal weighted clones over these clones. Keywords: Relational clones, VCSP, Weighted clones 1
Vážené klony
Vančura, Jiří ; Barto, Libor (advisor) ; Příhoda, Pavel (referee)
The well know constraint satisfaction problem (CSP) can be generalized to a class of optimization problems - VCSP. In 2012, D. A. Cohen, M. C. Cooper, P. Creed, P. G. Jeavons and S. Živný proved that weighted clones and weighted relational clones play the same role for the VCSP as do clones and relational clones for the CSP. However the structure of weighted clones remains unknown even for two element domain. This thesis presents a more detailed proof of the result mentioned above and then it investigates the structure of weighted clones. For Boolean domain, we present a complete classification of weighted clones over all seven minimal clones. Powered by TCPDF (www.tcpdf.org)

Interested in being notified about new results for this query?
Subscribe to the RSS feed.